basic
\\[0ex]IsAction($A$;$x$;$e$;$S$;$f$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($\forall$$a$, $b$:$A$, $u$:$S$. (($a$ $x$ $b$) $f$ $u$) = ($a$ $f$ ($b$ $f$ $u$))) \& ($\forall$$u$:$S$. ($e$ $f$ $u$) = $u$)